%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.09s
%% Hypothesis Space Generation             : 0.046s
%% Conflict analysis                       : 0.725s
%%   - Brave Orders                        : 0.724s
%% Counterexample search                   : 0.162s
%%   - CDOEs                               : 0.106s
%%   - CDPIs                               : 0.057s
%% Hypothesis Search                       : 1.403s
%% Propagation                             : 2.327s
%%   - CDOEs                               : 2.327s
%% Total                                   : 5.724s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(verdure_e_ortaggi,V1).[-V1@1, V1]

